You might find discussions, pictures or files like this on the Usenet:
Truth Through Proof: A Formalist Foundation for Mathematics
Safety & Anonymity
Ad/Malware Free
Uncapped download speed
Download Now